- Лисков, Барбара
-
Барбара Лисков Barbara Jane Liskov Дата рождения: Страна: Научная сфера: Место работы: Альма-матер: Калифорнийский университет в Беркли, Стэнфордский университет
Известен как: Создатель Клу, исследователь абстракции данных
Награды и премии Сайт: Барбара Лисков (англ. Barbara Liskov, урождённая Барбара Джейн Губерман — Barbara Jane Huberman; род. 7 ноября 1939) — американский учёный в области информатики, исследователь проблемы абстракции данных, руководитель группы разработки языка программирования Клу, лауреат премии Тьюринга 2008 года.
Содержание
Биография
Родилась в Калифорнии, где поселились её бабушка и дедушка по отцовской линии — эмигранты из Российской империи Лев Губерман и Роза Марголис. Получила степень бакалавра по математике в Калифорнийском университете в Беркли в 1961 году, после чего продолжила обучение в Стэнфорде, где в 1968 году стала первой женщиной в США, получившей степень доктора по информатике с диссертацией о программной реализации игры в шахматный эндшпиль (A program to play chess endgames).
С 1972 года работает и преподаёт в Массачусетском технологическом институте.
Руководила разработкой таких языков программирования как Клу и Argus в 1970-х и 1980-х годах, а также объектно-ориентированной системы управления базами данных Thor. Вместе с Дженнет Уинг разработала в 1987 году принцип подстановки — концепцию определения подтипа.
Действительный член Американской академии наук и искусств, Национальной академии инженерных наук, фелло Ассоциации вычислительной техники.
Муж — Натан Лисков (Nathan Arthur Liskov, поженились в 1970 году) и сын Мозес Лисков (Moses Liskov, 1975) — также учёные в области информатики.
Награды
- 2004 — медаль Джона фон Неймана
- 2005 — почётный докторский титул от Швейцарской высшей технической школы Цюриха[1]
- 2008 — Премия Тьюринга «за вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.»[2][3]
Библиография
- CLU Reference Manual, 1984
- Abstraction and specification in programm development, 1986
- Program development in Java: Abstraction, specification and object-oriented design, 2001
Примечания
Ссылки
- Страница Барбары Лисков при университете MIT (англ.)
- «Премия Тьюринга за 2008 год присуждена Барбаре Лисков», Компьюлента (Проверено 11 марта 2009)
- «Barbara Liskov wins Turing Award», Массачусетский технологический институт (англ.) (Проверено 11 марта 2009)
Лауреаты премии Тьюринга Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 7 ноября
- Родившиеся в 1939 году
- Лауреаты премии Тьюринга
- Учёные в области информатики США
- Учёные США
- Выпускники Калифорнийского университета в Беркли
- Выпускники Стэнфорда
- Создатели языков программирования
Wikimedia Foundation. 2010.